Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
O que (quem) é 2-satisfiability - definição
2-satisfiability
![The [[median graph]] representing all solutions to the example 2-satisfiability instance whose implication graph is shown above.](https://commons.wikimedia.org/wiki/Special:FilePath/2SAT median graph.svg?width=200 "The [[median graph]] representing all solutions to the example 2-satisfiability instance whose implication graph is shown above.")
THEORETICAL COMPUTER SCIENCE PROBLEM
2-SAT; 2SAT; MAX-2-SAT; Maximum 2-satisfiability; Max 2-sat; MAX-2SAT; Krom-clause; 2-CNF-SAT; Krom formula; Krom formulae
In computer science, 2-satisfiability, 2-SAT or just 2SAT is a computational problem of assigning values to variables, each of which has two possible values, in order to satisfy a system of constraints on pairs of variables. It is a special case of the general Boolean satisfiability problem, which can involve constraints on more than two variables, and of constraint satisfaction problems, which can allow more than two choices for the value of each variable.
Boolean satisfiability problem
![(''x'' ∨ ''x'' ∨ ''y'') ∧ (¬''x'' ∨ ¬''y'' ∨ ¬''y'') ∧ (¬''x'' ∨ ''y'' ∨ ''y'')}} reduced to a [[clique problem]]. The green vertices form a 3-clique and correspond to the satisfying assignment ''x''=FALSE, ''y''=TRUE.](https://commons.wikimedia.org/wiki/Special:FilePath/Sat reduced to Clique from Sipser.svg?width=200 "(''x'' ∨ ''x'' ∨ ''y'') ∧ (¬''x'' ∨ ¬''y'' ∨ ¬''y'') ∧ (¬''x'' ∨ ''y'' ∨ ''y'')}} reduced to a [[clique problem]]. The green vertices form a 3-clique and correspond to the satisfying assignment ''x''=FALSE, ''y''=TRUE.")
PROBLEM OF DETERMINING IF A BOOLEAN FORMULA COULD BE MADE TRUE
3-satisfiability; Boolean satisfiability; 3-SAT; 3cnfsat; 3cnf; 3cnf-sat; 3SAT; Satisfiability of boolean expressions; One-in-three 3SAT; Propositional satisfiability; K-SAT; K-cnf-sat; Counted Boolean Satisfiability Problem; Boolean Satisfiability; CNFSAT; Satisfiability Problem; CNF-SAT; Boolean SAT; Boolean SAT solver; Unambiguous SAT; Unique-SAT; SAT solving; XOR-satisfiability; 1-in-3-SAT; XOR-SAT; List of SAT solvers; SAT problem; Algorithms for solving the boolean satisfiability problem; Methods for solving SAT; Parallel SAT solver; Linear SAT; Algorithms for solving SAT; Propositional satisfiability problem
In logic and computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY, SAT or B-SAT) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. In other words, it asks whether the variables of a given Boolean formula can be consistently replaced by the values TRUE or FALSE in such a way that the formula evaluates to TRUE.
Satisfiable
ELEMENTARY CONCEPT OF SEMANTICS
Satisfiability problem; Satisfiable; Unsatisfiable; Satisfiability and validity; Satisfiability (logics); Finite satisfiability (logics)
·adj That may be satisfied.
